Skip to content

Comments

Correct computation of module contexts for nested functors.#1988

Merged
yav merged 2 commits intomasterfrom
issue1872
Feb 11, 2026
Merged

Correct computation of module contexts for nested functors.#1988
yav merged 2 commits intomasterfrom
issue1872

Conversation

@yav
Copy link
Member

@yav yav commented Feb 10, 2026

Fixes #1872

@RyanGlScott
Copy link
Contributor

Also, note that this PR fixes the interaction between :type and focused parameterized submodules, but not the interaction between evaluation and focused parameterized submodules. (I've opened #1989 to track the latter.)

@yav
Copy link
Member Author

yav commented Feb 11, 2026

Oh good catch, I'll probably just fix the evaluator issue on this PR as well.

@yav yav merged commit 4814916 into master Feb 11, 2026
53 checks passed
@yav yav deleted the issue1872 branch February 11, 2026 23:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Panic when focused in a nested functor

2 participants